Proof assistant

Qualità:

Dimostratore automatico di teoremi - categoria di software per la logica matematica. L'articolo “Proof assistant” nella Wikipedia in inglese ha 31.8 punti per la qualità (al 1 luglio 2025). L'articolo contiene 22 riferimenti e 8 sezioni. L’articolo contiene anche dei template che segnalano problemi di qualità, pertanto il suo punteggio è stato ridotto di 3,54 punti.

Questo articolo ha la migliore qualità nella Wikipedia in cinese. Tuttavia, questo articolo è il più popolare nella versione inglese.

Dalla creazione dell'articolo “Proof assistant”, il suo contenuto è stato scritto da 107 utenti registrati di Wikipedia in inglese e modificato da 212 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 266 volte nella Wikipedia in inglese e citato 553 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 28702 nel marzo 2025
• Globale: N. 55627 nell'ottobre 2004

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 190364 nel novembre 2017
• Globale: N. 312653 nel novembre 2017

Ci sono 9 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 luglio 2025 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	cinese (zh) 证明助手		54.119
2	inglese (en) Proof assistant		31.834
3	estone (et) Tõestusassistent		31.7775
4	francese (fr) Assistant de preuve		26.1518
5	ucraino (uk) Асистент доведення теорем		24.8124
6	coreano (ko) 증명 보조기		16.551
7	russo (ru) Инструмент интерактивного доказательства теорем		14.9517
8	spagnolo (es) Demostración interactiva de teoremas		1.1306
9	polacco (pl) System wspomagający dowodzenie twierdzeń		0.3428

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Proof assistant		577 876
2	francese (fr) Assistant de preuve		69 148
3	polacco (pl) System wspomagający dowodzenie twierdzeń		12 825
4	spagnolo (es) Demostración interactiva de teoremas		8 979
5	russo (ru) Инструмент интерактивного доказательства теорем		6 229
6	coreano (ko) 증명 보조기		1 032
7	estone (et) Tõestusassistent		374
8	ucraino (uk) Асистент доведення теорем		260
9	cinese (zh) 证明助手		230

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Proof assistant		4 492
2	francese (fr) Assistant de preuve		267
3	russo (ru) Инструмент интерактивного доказательства теорем		174
4	coreano (ko) 증명 보조기		125
5	cinese (zh) 证明助手		115
6	spagnolo (es) Demostración interactiva de teoremas		39
7	polacco (pl) System wspomagający dowodzenie twierdzeń		36
8	ucraino (uk) Асистент доведення теорем		14
9	estone (et) Tõestusassistent		13

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Proof assistant		107
2	francese (fr) Assistant de preuve		68
3	polacco (pl) System wspomagający dowodzenie twierdzeń		11
4	russo (ru) Инструмент интерактивного доказательства теорем		6
5	coreano (ko) 증명 보조기		5
6	cinese (zh) 证明助手		5
7	spagnolo (es) Demostración interactiva de teoremas		4
8	estone (et) Tõestusassistent		3
9	ucraino (uk) Асистент доведення теорем		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	cinese (zh) 证明助手		3
2	francese (fr) Assistant de preuve		1
3	coreano (ko) 증명 보조기		1
4	russo (ru) Инструмент интерактивного доказательства теорем		1
5	inglese (en) Proof assistant		0
6	spagnolo (es) Demostración interactiva de teoremas		0
7	estone (et) Tõestusassistent		0
8	polacco (pl) System wspomagający dowodzenie twierdzeń		0
9	ucraino (uk) Асистент доведення теорем		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 16 marzo 2026 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Premi Oscar 2026, Michael B. Jordan, I peccatori, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Una battaglia dopo l'altra, Amy Madigan, Hamnet, Timothée Chalamet.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: 98th Academy Awards, Michael B. Jordan, Paul Thomas Anderson, Jessie Buckley, Sinners (2025 film), Amy Madigan, Autumn Durald Arkapaw, Maya Rudolph, Sean Penn, Academy Awards.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del luglio 2025. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del giugno 2025. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2025... More information